Flyspec Project
Kepler予想
の形式化のプロジェクト
Google Code Archive - Long-term storage for Google Code Project Hosting.
#形式手法
#定理証明支援系